home *** CD-ROM | disk | FTP | other *** search
/ Garbo / Garbo.cdr / mac / progrmng / cmlmcmpw.sit / Caml Light / Lib / bool.mli next >
Encoding:
Text File  |  1991-05-01  |  365 b   |  14 lines  |  [TEXT/MPS ]
  1. (* Boolean operations *)
  2.  
  3. (* e1 & e2  : conjunction
  4.    e1 or e2 : disjunction.
  5.    Both constructs are sequential, left-to-right: e2 is evaluated only
  6.    if needed. Actually,
  7.      e1 & e2  is equivalent to  if e1 then e2 else false
  8.      e1 or e2 is equivalent to  if e1 then true else e2.
  9. *)
  10.  
  11. value prefix not : bool -> bool = 1 "not"
  12. (* The boolean negation. *)
  13. ;;
  14.